Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
851	Bodyguards Under Cover: The Status of Individual Concepts I argue that individual concepts are not directly denoted by common nouns or intensions of definite descriptions, but enter semantic computation because quantific Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:18 Complex analysis Philosophical logic Predicate logic Quantification Semantics Function Temperature Pi Definite description Mathematical analysis Mathematics Logic
852	Declarative Programming for Modular Robots Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, Jason Campbell Abstract— Because of the timing, complexity, and Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-11-01 14:25:39 Predicate logic Logic programming Predicate ACT-R Loadable kernel module Mereology International Space Station Claytronics Spaceflight Logic Mathematical logic
853	Non-Existential Indefinites and Semantic Incorporation of PP Complements Indefinites that appear as complements in prepositional phrases show some systematic variations in their interpretation, which to the best of our k Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:02 Semantics Logic Parts of speech Grammar Predicate Preposition and postposition Existential quantification Adpositional phrase Universal quantification Linguistics Quantification Syntax
854	John Benjamins Publishing Company This is a contribution from Belgian Journal of Linguistics 25 © 2011. John Benjamins Publishing Company This electronic file may not be altered in any way. The author(s) of this articl Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-12-09 11:12:58 Science Semantics Philosophical logic Working memory FO Sentence Mathematical logic Short-term memory Reading span task Logic Predicate logic Quantification
855	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-12-13 13:15:40 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
856	On the identification of quantifiers witness sets.dvi Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-05-09 08:35:17 Mathematics Semantics Model theory Predicate logic Skolem normal form Branching quantifier Discourse representation theory FO Function Logic Mathematical logic Quantification
857	Intelligence[removed]–466 Contents lists available at SciVerse ScienceDirect Intelligence journal homepage: Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-20 08:43:56 Predicate logic Interdisciplinary fields Educational psychology Cognitive science Quantification Mental chronometry Working memory Intelligence Proposition Science Logic Mind
858	Pragmatic identification of the witness sets Livio Robaldo∗ and Jakub Szymanik+ + ∗ Department of Computer Science, University of Turin. Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2012-05-29 16:20:03 Quantification Semantics Predicate logic Model theory Philosophy of language Generalized quantifier Interpretation Uniqueness quantification Sentence Logic Mathematical logic Mathematics
859	Invariance Properties of Quantifiers and Multiagent Information Exchange Nina Gierasimczuk∗ and Jakub Szymanik† Institute of Artificial Intelligence, University of Groningen [removed] jakub.szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-06-03 20:22:49 Theoretical computer science Finite model theory Semantics Predicate logic FO Epistemic modal logic HO Universal quantification Constructible universe Logic Quantification Mathematical logic
860	Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2012-02-17 11:19:27 Metalogic Model theory Semantics Formal languages First-order logic Interpretation Function Quantification Well-formed formula Logic Mathematical logic Predicate logic

UPDATE